Optimal. Leaf size=41 \[ \frac{2 b^3}{f \sqrt{b \sec (e+f x)}}+\frac{2 b (b \sec (e+f x))^{3/2}}{3 f} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0492443, antiderivative size = 41, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 2, integrand size = 21, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.095, Rules used = {2622, 14} \[ \frac{2 b^3}{f \sqrt{b \sec (e+f x)}}+\frac{2 b (b \sec (e+f x))^{3/2}}{3 f} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2622
Rule 14
Rubi steps
\begin{align*} \int (b \sec (e+f x))^{5/2} \sin ^3(e+f x) \, dx &=\frac{b^3 \operatorname{Subst}\left (\int \frac{-1+\frac{x^2}{b^2}}{x^{3/2}} \, dx,x,b \sec (e+f x)\right )}{f}\\ &=\frac{b^3 \operatorname{Subst}\left (\int \left (-\frac{1}{x^{3/2}}+\frac{\sqrt{x}}{b^2}\right ) \, dx,x,b \sec (e+f x)\right )}{f}\\ &=\frac{2 b^3}{f \sqrt{b \sec (e+f x)}}+\frac{2 b (b \sec (e+f x))^{3/2}}{3 f}\\ \end{align*}
Mathematica [A] time = 0.197709, size = 32, normalized size = 0.78 \[ \frac{b (3 \cos (2 (e+f x))+5) (b \sec (e+f x))^{3/2}}{3 f} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.151, size = 357, normalized size = 8.7 \begin{align*} -{\frac{ \left ( -1+\cos \left ( fx+e \right ) \right ) \cos \left ( fx+e \right ) }{6\,f \left ( \sin \left ( fx+e \right ) \right ) ^{2}} \left ( 12\, \left ( \cos \left ( fx+e \right ) \right ) ^{3}\sqrt{-{\frac{\cos \left ( fx+e \right ) }{ \left ( \cos \left ( fx+e \right ) +1 \right ) ^{2}}}}+3\, \left ( \cos \left ( fx+e \right ) \right ) ^{2}\ln \left ( -2\,{\frac{1}{ \left ( \sin \left ( fx+e \right ) \right ) ^{2}} \left ( 2\, \left ( \cos \left ( fx+e \right ) \right ) ^{2}\sqrt{-{\frac{\cos \left ( fx+e \right ) }{ \left ( \cos \left ( fx+e \right ) +1 \right ) ^{2}}}}- \left ( \cos \left ( fx+e \right ) \right ) ^{2}+2\,\cos \left ( fx+e \right ) -2\,\sqrt{-{\frac{\cos \left ( fx+e \right ) }{ \left ( \cos \left ( fx+e \right ) +1 \right ) ^{2}}}}-1 \right ) } \right ) -3\, \left ( \cos \left ( fx+e \right ) \right ) ^{2}\ln \left ( -{\frac{1}{ \left ( \sin \left ( fx+e \right ) \right ) ^{2}} \left ( 2\, \left ( \cos \left ( fx+e \right ) \right ) ^{2}\sqrt{-{\frac{\cos \left ( fx+e \right ) }{ \left ( \cos \left ( fx+e \right ) +1 \right ) ^{2}}}}- \left ( \cos \left ( fx+e \right ) \right ) ^{2}+2\,\cos \left ( fx+e \right ) -2\,\sqrt{-{\frac{\cos \left ( fx+e \right ) }{ \left ( \cos \left ( fx+e \right ) +1 \right ) ^{2}}}}-1 \right ) } \right ) +12\, \left ( \cos \left ( fx+e \right ) \right ) ^{2}\sqrt{-{\frac{\cos \left ( fx+e \right ) }{ \left ( \cos \left ( fx+e \right ) +1 \right ) ^{2}}}}+4\,\cos \left ( fx+e \right ) \sqrt{-{\frac{\cos \left ( fx+e \right ) }{ \left ( \cos \left ( fx+e \right ) +1 \right ) ^{2}}}}+4\,\sqrt{-{\frac{\cos \left ( fx+e \right ) }{ \left ( \cos \left ( fx+e \right ) +1 \right ) ^{2}}}} \right ) \left ({\frac{b}{\cos \left ( fx+e \right ) }} \right ) ^{{\frac{5}{2}}}{\frac{1}{\sqrt{-{\frac{\cos \left ( fx+e \right ) }{ \left ( \cos \left ( fx+e \right ) +1 \right ) ^{2}}}}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.03316, size = 49, normalized size = 1.2 \begin{align*} \frac{2 \,{\left (\frac{3 \, b^{2}}{\sqrt{\frac{b}{\cos \left (f x + e\right )}}} + \left (\frac{b}{\cos \left (f x + e\right )}\right )^{\frac{3}{2}}\right )} b}{3 \, f} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.08816, size = 97, normalized size = 2.37 \begin{align*} \frac{2 \,{\left (3 \, b^{2} \cos \left (f x + e\right )^{2} + b^{2}\right )} \sqrt{\frac{b}{\cos \left (f x + e\right )}}}{3 \, f \cos \left (f x + e\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.15711, size = 72, normalized size = 1.76 \begin{align*} \frac{2 \,{\left (3 \, \sqrt{b \cos \left (f x + e\right )} b + \frac{b^{2}}{\sqrt{b \cos \left (f x + e\right )} \cos \left (f x + e\right )}\right )} b \mathrm{sgn}\left (\cos \left (f x + e\right )\right )}{3 \, f} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]